Kusters, Ralf : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (72)
Les plus populaires
Liste
- Liste
- Tableau

1

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Bauer, Lujo, Küsters, Ralf

Année:

2018

Langue:

english

Fichier:

PDF, 748 KB

english, 2018

2

[IEEE 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Santa Barbara, CA, USA (2017.8.21-2017.8.25)] 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

Fett, Daniel, Kusters, Ralf, Schmitz, Guido

Année:

2017

Langue:

english

Fichier:

PDF, 251 KB

english, 2017

3

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts

Bauer, Lujo, Küsters, Ralf

Année:

2018

Langue:

english

Fichier:

PDF, 656 KB

english, 2018

4

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || SoK: Unraveling Bitcoin Smart Contracts

Bauer, Lujo, Küsters, Ralf

Année:

2018

Langue:

english

Fichier:

PDF, 982 KB

english, 2018

5

Security in e-voting

Küsters, Ralf, Truderung, Tomasz

Journal:

it - Information Technology

Année:

2014

Langue:

english

Fichier:

PDF, 909 KB

english, 2014

6

Deciding strategy properties of contract-signing protocols

Kähler, Detlef, Küsters, Ralf, Wilke, Thomas

Journal:

ACM Transactions on Computational Logic

Année:

2010

Langue:

english

Fichier:

PDF, 524 KB

english, 2010

7

Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption

Chevalier, Yannick, Küsters, Ralf, Rusinowitch, Michaël, Turuani, Mathieu

Journal:

ACM Transactions on Computational Logic

Année:

2008

Langue:

english

Fichier:

PDF, 438 KB

english, 2008

8

[IEEE 2016 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI) - Santa Fe, NM, USA (2016.3.6-2016.3.8)] 2016 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI) - Adaptive application of spatial filters on raw CT images

Patel, Nisarg, Schneider, Ralf, Kuster, Uwe

Année:

2016

Langue:

english

Fichier:

PDF, 1.68 MB

english, 2016

9

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10804 || The Meaning of Memory Safety

Bauer, Lujo, Küsters, Ralf

Année:

2018

Langue:

english

Fichier:

PDF, 953 KB

english, 2018

10

[Lecture Notes in Computer Science] Electronic Voting Volume 11759 (4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings) ||

Krimmer, Robert, Volkamer, Melanie, Cortier, Veronique, Beckert, Bernhard, Küsters, Ralf, Serdült, Uwe, Duenas-Cid, David

Année:

2019

Langue:

english

Fichier:

PDF, 12.77 MB

english, 2019

11

Preparation and Structure of F3As–Au+SbF6–, the Structures of Au(CO)2+ and Au(PF3)2+

Ralf Küster, Konrad Seppelt

Journal:

Zeitschrift für anorganische und allgemeine Chemie

Année:

2000

Langue:

english

Fichier:

PDF, 104 KB

english, 2000

12

Deciding the Security of Protocols with Commuting Public Key Encryption

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 259 KB

english, 2005

13

Preface

Juliana Küster-Filipe, Iman Poernomo, Ralf Reussner, Sandeep Shukla

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 59 KB

english, 2005

14

Preface

Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 100 KB

english, 2009

15

Tribological behaviour of thin a-C and a-C:H films with different topographic structure under rotating and oscillating motion for dry lubrication

Ralf Bandorf, Holger Lüthje, Cord Henke, Jan-Hinrich Sick, Rolf Küster

Journal:

Surface and Coatings Technology

Année:

2004

Langue:

english

Fichier:

PDF, 252 KB

english, 2004

16

Different carbon based thin films and their microtribological behaviour in MEMS applications

Ralf Bandorf, Holger Lüthje, Cord Henke, Jens Wiebe, Jan-Hinrich Sick, Rolf Küster

Journal:

Surface and Coatings Technology

Année:

2005

Langue:

english

Fichier:

PDF, 826 KB

english, 2005

17

An NP decision procedure for protocol insecurity with XOR

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 362 KB

english, 2005

18

Mapping of a gene for epidermolytic palmoplantar keratoderma to the region of the acidic keratin gene cluster at 17q12–q21

André Reis, Wolfgang Küster, Ralf Eckardt, Karl Sperling

Journal:

Année:

1992

Langue:

english

Fichier:

PDF, 611 KB

english, 1992

19

Quantification of constitutive endothelial and inducible nitric oxide synthase mRNA by competitive reverse transcription-polymerase chain reaction

Jörg Bojunga, Ralf Kurek, Heiner Renneberg, Klaus Henning Usadel, Klaus Kusterer

Journal:

International Journal of Angiology

Année:

2001

Langue:

english

Fichier:

PDF, 792 KB

english, 2001

20

On the Relationships between Notions of

Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan

Journal:

Journal of Cryptology

Année:

2008

Langue:

english

Fichier:

PDF, 718 KB

english, 2008

21

On the decidability of cryptographic protocols with open-ended data structures

Journal:

International Journal of Information Security

Année:

2005

Langue:

english

Fichier:

PDF, 590 KB

english, 2005

22

Conditional reactive simulatability

Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters

Journal:

International Journal of Information Security

Année:

2008

Langue:

english

Fichier:

PDF, 409 KB

english, 2008

23

Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach

Ralf Küsters, Tomasz Truderung

Journal:

Journal of Automated Reasoning

Année:

2011

Langue:

english

Fichier:

PDF, 712 KB

english, 2011

24

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions

Ralf Küsters, Ralf Molitor

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 402 KB

english, 2005

25

Preface

Juliana Küster-Filipe, Iman Poernomo, Ralf Reussner, Sandeep Shukla

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 66 KB

english, 2004

26

Leaf growth dynamics of two congener gymnosperm tree species reflect the heterogeneity of light intensities given in their natural ecological niche

I-LING LAI, HANNO SCHARR, ANDRES CHAVARRIA-KRAUSER, RALF KÜSTERS, JIUNN-TZONG WU, CHANG-HUNG CHOU, ULRICH SCHURR, ACHIM WALTER

Journal:

Plant, Cell & Environment

Année:

2005

Langue:

english

Fichier:

PDF, 542 KB

english, 2005

27

Transducer-based analysis of cryptographic protocols

Ralf Küsters, Thomas Wilke

Journal:

Information and Computation

Année:

2007

Langue:

english

Fichier:

PDF, 435 KB

english, 2007

28

Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA ’06)

Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic

Journal:

Information and Computation

Année:

2008

Langue:

english

Fichier:

PDF, 49 KB

english, 2008

29

Development and validation of a reliable internally standardized competitive RT–PCR without cloning steps

Jörg Bojunga, Ralf Kurek, Heiner Renneberg, Klaus Henning Usadel, Klaus Kusterer

Journal:

Technical Tips Online

Année:

1999

Langue:

english

Fichier:

PDF, 133 KB

english, 1999

30

Relations between extramitochondrial and intramitochondrial adenine nucleotide systems

Wolfgang Kunz, Ralf Bohnensack, Günter Böhme, Uwe Küster, Gerold Letko, Peter Schönfeld

Journal:

Archives of Biochemistry and Biophysics

Année:

1981

Langue:

english

Fichier:

PDF, 968 KB

english, 1981

31

Rate-controlling steps of oxidative phosphorylation in rat liver mitochondria. A synoptic approach of model and experiment

Ralf Bohnensack, Uwe Küster, Gerold Letko

Journal:

Biochimica et Biophysica Acta (BBA) - Bioenergetics

Année:

1982

Langue:

english

Fichier:

PDF, 633 KB

english, 1982

32

Response of a grassland ecosystem to air pollutants. IV. The chemical climate: Concentrations of relevant non-criteria pollutants (trace gases and aerosols)

Ralf Zimmerling, Ulrich Dämmgen, Alwin Küsters, Ludger Grünhage, Hans-Jürgen Jäger

Journal:

Environmental Pollution

Année:

1996

Langue:

english

Fichier:

PDF, 1.00 MB

english, 1996

33

Light acclimation of photosynthesis in three charophyte species

Anette Küster, Ralf Schaible, Hendrik Schubert

Journal:

Année:

2004

Langue:

english

Fichier:

PDF, 304 KB

english, 2004

34

Sex-specific light acclimation of Chara canescens (Charophyta)

Anette Küster, Ralf Schaible, Hendrik Schubert

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 255 KB

english, 2005

35

Holocene loess sedimentation along the Qilian Shan (China): significance for understanding the processes and timing of loess deposition

Yvonne Küster, Ralf Hetzel, Matthias Krbetschek, Mingxin Tao

Journal:

Quaternary Science Reviews

Année:

2006

Langue:

english

Fichier:

PDF, 457 KB

english, 2006

36

Decrease and Gain of Gene Expression Are Equally Discriminatory Markers for Prostate Carcinoma: A Gene Expression Analysis on Total and Microdissected Prostate Tissue

Thomas Ernst, Manfred Hergenhahn, Marc Kenzelmann, Clemens D. Cohen, Mahnaz Bonrouhi, Annette Weninger, Ralf Klären, Elisabeth F. Gröne, Manfred Wiesel, Christof Güdemann, Jens Küster, Winfried Schott

Journal:

The American Journal of Pathology

Année:

2002

Langue:

english

Fichier:

PDF, 808 KB

english, 2002

37

Interleukin-1 receptor antagonist and interleukin-6 for early diagnosis of neonatal sepsis 2 days before clinical manifestation

Helmut Küster, Michael Weiss, Andreas E Willeitner, Stefanie Detlefsen, Irmela Jeremias, Juraj Zbojan, Ralf Geiger, Gert Lipowsky, Georg Simbruner

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 66 KB

english, 1998

38

Light acclimation of the charophyte Lamprothamnium papulosum

Anette Küster, Ralf Schaible, Hendrik Schubert

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 158 KB

english, 2000

39

Macrophage migration inhibitory factor and development of type-1 diabetes in non-obese diabetic mice

Jörg Bojunga, Klaus Kusterer, Michael Bacher, Ralf Kurek, Klaus-Henning Usadel, Heiner Renneberg

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 534 KB

english, 2003

40

Recognition of Pneumococcal Peptidoglycan: An Expanded, Pivotal Role for LPS Binding Protein

Joerg R Weber, Dorette Freyer, Christian Alexander, Nicolas W.J Schröder, Anja Reiss, Carsten Küster, Dagmar Pfeil, Elaine I Tuomanen, Ralf R Schumann

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 318 KB

english, 2003

41

Comparison between numerical and experimental near-field evaluation of a DCS1800 mobile telephone

Bahr, Achim, Pan, Sheng-Gen, Beck, Thomas, Kästle, Ralf, Schmid, Thomas, Kuster, Niels

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 1.33 MB

english, 1998

42

The Trifluorophosphonium Ion, PF 3 H + , Preparation and Structure

Küster, Ralf, Drews, Thomas, Seppelt, Konrad

Journal:

Inorganic Chemistry

Année:

2000

Langue:

english

Fichier:

PDF, 38 KB

english, 2000

43

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation

Küsters, Ralf, Truderung, Tomasz

Année:

2009

Langue:

english

Fichier:

PDF, 339 KB

english, 2009

44

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Universally Composable Symmetric Encryption

Küsters, Ralf, Tuengerthal, Max

Année:

2009

Langue:

english

Fichier:

PDF, 341 KB

english, 2009

45

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - A Game-Based Definition of Coercion-Resistance and Its Applications

Küsters, Ralf, Truderung, Tomasz, Vogt, Andreas

Année:

2010

Langue:

english

Fichier:

PDF, 332 KB

english, 2010

46

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Infinite State AMC-Model Checking for Cryptographic Protocols

Kahler, Detlef, Kusters, Ralf, Truderung, Tomasz

Année:

2007

Langue:

english

Fichier:

PDF, 191 KB

english, 2007

47

[IEEE 2008 21st IEEE Computer Security Foundations Symposium - Pittsburgh, PA, USA (2008.06.23-2008.06.25)] 2008 21st IEEE Computer Security Foundations Symposium - Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation

Küsters, Ralf, Tuengerthal, Max

Année:

2008

Langue:

english

Fichier:

PDF, 519 KB

english, 2008

48

[IEEE 2012 IEEE Symposium on Security and Privacy (SP) Conference dates subject to change - San Francisco, CA, USA (2012.05.20-2012.05.23)] 2012 IEEE Symposium on Security and Privacy - Clash Attacks on the Verifiability of E-Voting Systems

Kusters, Ralf, Truderung, Tomasz, Vogt, Andreas

Année:

2012

Langue:

english

Fichier:

PDF, 281 KB

english, 2012

49

[IEEE 2014 IEEE Symposium on Security and Privacy (SP) - San Jose, CA (2014.5.18-2014.5.21)] 2014 IEEE Symposium on Security and Privacy - An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

Fett, Daniel, Kusters, Ralf, Schmitz, Guido

Année:

2014

Langue:

english

Fichier:

PDF, 334 KB

english, 2014

50

[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach

Küsters, Ralf, Truderung, Tomasz

Année:

2008

Langue:

english

Fichier:

PDF, 294 KB

english, 2008